振り返り 2021-w47
要約
トイレの中でもお絵描きできる
どこでも数式が書き放題になった
2021-11-23 09:47:30現在はもう落ち着いている
各論
11-20までにやることを全部決めようとしたが、途中で辞めてしまった
直観主義論理にハマりだした日
たまたま後輩が$ \TeXで計画書を作っていた
いつものWord文書なら修正する気すら湧かないのだが、$ \TeXだったので変にテンションが上がって夢中になってしまった
直観主義論理にハマりまくった日
昨日に引きづられて直観主義論理にすこし夢中になってしまった日